Variational Auto Encoder - Theory